Differential calculus

Results: 3685



#Item
301Logic in computer science / Differential forms / Combinatory logic / Lambda calculus / Peano axioms / Closed and exact differential forms / Banach fixed-point theorem / Peetre theorem

COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th

Add to Reading List

Source URL: www.math.tohoku.ac.jp

Language: English - Date: 2016-02-20 21:08:40
302Leech lattice / Moonshine theory / Lattice / Spectral theory of ordinary differential equations / Lambda calculus

MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, presenting key definitions and results of the course that

Add to Reading List

Source URL: www.math.lsa.umich.edu

Language: English - Date: 2011-05-27 13:17:33
303Computational science / Academia / Calculus / Mathematical analysis / Computational mechanics / Differential equation / Numerical analysis / Partial differential equation / University of Lugano / Mathematical optimization / Applied mathematics / Computational mathematics

2 Master of Science in Computational Science COMPUTATIONAL SCIENCE Computational Science –

Add to Reading List

Source URL: www.mcs.usi.ch

Language: English - Date: 2015-03-04 16:53:21
304Automatic differentiation / Computer algebra / Differential calculus / CasADi / RWTH Aachen University

Program of AD2012 Venue: Clark Building, Room A201 Monday, July, 23rd 12::15 Registration (for later registrations please ask the organizers for a paper form)

Add to Reading List

Source URL: www.autodiff.org

Language: English - Date: 2016-04-10 05:08:15
305Calculus / Mathematical analysis / Physics / Transport phenomena / Diffusion / Computational fluid dynamics / Functions of space and time / Partial differential equations / Smoothed-particle hydrodynamics / Molecular diffusion / Differential equation / Reactiondiffusion system

Contribution to the modeling of complex physical systems described by PDE1: a 2D multiagent model for convectiondiffusion Jean-Marie Dembele Université Cheikh Anta Diop – IRD (UR GEODES, ESPACE) Laboratoire Modélisat

Add to Reading List

Source URL: necsi.edu

Language: English - Date: 2007-11-02 13:38:32
306Partial differential equations / Multivariable calculus / Differential equation / Collocation method / Elliptic partial differential equation / Randomness

Numerical approximation of random PDEs: advances and challenges Fabio Nobile (EPFL) Partial differential equations with random coefficients and input data (random PDEs in short) arise in many applications in which the da

Add to Reading List

Source URL: www.7ecm.de

Language: English - Date: 2016-06-10 05:01:15
307Differential equations / Multivariable calculus / Partial differential equation / Omega / Code / Wave equation / Differential forms on a Riemann surface

Journal of Computational Physics–217 Contents lists available at ScienceDirect Journal of Computational Physics www.elsevier.com/locate/jcp

Add to Reading List

Source URL: www.cse-lab.ethz.ch

Language: English - Date: 2016-03-11 02:52:25
308Theoretical computer science / Logic in computer science / Mathematics / Mathematical logic / Combinatory logic / Lambda calculus / Unification / Computability theory / Differential forms on a Riemann surface / Fredholm alternative

Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Add to Reading List

Source URL: ludovicpatey.com

Language: English - Date: 2016-04-14 09:51:48
309Mathematical analysis / Mathematics / Analysis / Differential calculus / Functions and mappings / Derivative / Rates / Finite difference method / Finite difference / Differential of a function / Compact finite difference

! Revised September 29, 2015 6:10 PM! 1

Add to Reading List

Source URL: kiwi.atmos.colostate.edu

Language: English - Date: 2015-09-30 08:31:38
310Mathematics / Mathematical analysis / Academia / Operations research / Differential calculus / Automatic differentiation / Computer algebra / Applied mathematics / Numerical analysis / Finite element method / Mathematical optimization / Linear programming

Posters at ADPatrick E. Farrell (Department of Earth Science and Engineering, Imperial College London, UK): Automating the adjoint of finite element discretisations In this work we demonstrate the capability of

Add to Reading List

Source URL: www.autodiff.org

Language: English - Date: 2016-04-10 05:08:14
UPDATE